Automation of Avionic Systems Testing
نویسندگان
چکیده
In this paper we present an automatic testing process to validate Avionic Systems. To do that, we have developed a tool that interprets scripts written in Automated Test Language and translate them to user codes written in C language. To carry out this work, the syntax of scripts has been defined by a context free grammar. This testing process is based on the execution of a pre-defined set of test cases. Currently, these test sets are obtained from Test Description Document and they are introduced in the system in C code manually. Therefore, automation of this process would reduce the time used for the testing, as a great quantity of tests are realized and a great quantity of errors are made when tests are made by hand.
منابع مشابه
Model-Driven Approach to the Optimal Configuration of Time-Triggered Flows in a TTEthernet Network
The SAE standard Time-triggered Ethernet defines a strong networking infrastructure, which supports the engineering of avionic systems. Avionic functions are often designed independently and integrated to form the avionic system. The iterative integration approach helps in controlling the design complexity of evolving avionic systems and aims at minimizing the cost associate with the reconfigur...
متن کاملEfficient and Trustworthy Tool Qualification for Model-Based Testing Tools
The application of test automation tools in a safety-critical context requires so-called tool qualification according to the applicable standards. The objective of this qualification is to justify that verification steps automated by the tool will not lead to faulty systems under test to be accepted as fit for purpose. In this paper we review the tool qualification requirements of the standards...
متن کاملLecture Notes in Computer Science 7641
The application of test automation tools in a safety-critical context requires so-called tool qualification according to the applicable standards. The objective of this qualification is to justify that verification steps automated by the tool will not lead to faulty systems under test to be accepted as fit for purpose. In this paper we review the tool qualification requirements of the standards...
متن کاملEffects of Mutation Testing on Safety Critical Software
For avionic systems, the safety requirements are stricter than for non-safety critical systems due to the severe consequences a failure could cause. Depending on the consequences of a failure, the software needs to fulfill different testing criterias. More critical software needs more extensive testing. The question is whether the extra testing activities performed for software of higher critic...
متن کاملA Case Study on State-Based Robustness Testing of an Operating System for the Avionic Domain
This paper investigates the impact of state on robustness testing, by enhancing the traditional approach with the inclusion of the OS state in test cases definition. We evaluate the relevance of OS state and the effects of the proposed strategy through an experimental campaign on the file system of a Linux-based OS, to be adopted by Finmeccanica for safety-critical systems in the avionic domain...
متن کامل